RELEASE: A High-level Paradigm for Reliable Large-scale Server Software

Erlang is a functional language with a much-emulated model for building reliable distributed systems. This paper outlines the RELEASE project, and describes the progress in the first six months. The project aim is to scale the Erlang’s radical concurrency-oriented programming paradigm to build reliable general-purpose software, such as server-based systems, on massively parallel machines. Currently Erlang has inherently scalable computation and reliability models, but in practice scalability is constrained by aspects of the language and virtual machine. We are working at three levels to address these challenges: evolving the Erlang virtual machine so that it can work effectively on large scale multicore systems; evolving the language to Scalable Distributed (SD) Erlang; developing a scalable Erlang infrastructure to integrate multiple, heterogeneous clusters. We are also developing state of the art tools that allow programmers to understand the behaviour of massively parallel SD Erlang programs. We will demonstrate the effectiveness of the RELEASE approach using demonstrators and two large case studies on a Blue Gene

Charged Bilepton Pair Production at LHC Including Exotic Quark Contribution

The production of $W^+ W^-$ pair in hadron colliders was calculated up to loop corrections by some authors in the Electroweak standard model (SM) framework. This production was also calculated, at the tree level, in some extensions of the SM such as the vector singlet, the fermion mirror fermion and the vector doublet models by considering the contributions of new neutral gauge bosons and exotic fermions. The obtained results for $e^+ e^-$ and $pp$ collisions pointed out that the new physics contributions are quite important. This motivates us to calculate the production of a more massive charged gauge boson predicted by the ${SU (3)_C \times SU (3)_L \times U (1)_X}$ model (3-3-1 model). Thus, the aim of the present paper is to analyze the role played by of the extra gauge boson ${Z^\prime}$ and of the exotic quarks, predicted in the minimal version of the 3-3-1 model, by considering the inclusive production of a pair of bileptons ($V^\pm$) in the reaction $p + p \longrightarrow V^+ + V^- + X$, at the Large Hadron Collider (LHC) energies. Our results show that the correct energy behavior of the elementary cross section follows from the balance between the contributions of the extra neutral gauge boson with those from the exotic quarks. The extra neutral gauge boson induces flavor-changing neutral currents (FCNC) at tree level, and we have introduced the ordinary quark mixing matrices for the model when the first family transforms differently to the other two with respect to $SU(3)_L$. We obtain a huge number of heavy bilepton pairs produced for two different values of the center of mass energy of the LHC.Comment: 23 pages, 8 figures, 3 tables. To be published in Nuclear Physics

Linking epigenetics and biological conservation: Towards a conservation epigenetics perspective

International audience1. Biodiversity conservation is a global issue where the challenge is to integrate all levels of biodiversity to ensure the long-term evolutionary potential and resilience of biological systems. Genetic approaches have largely contributed to conservation biology by defining "conservation entities" accounting for their evolutionary history and adaptive potential, the so-called evolutionary significant units (ESUs). Yet, these approaches only loosely integrate the short-term ecological history of organisms. 2. Here, we argue that epigenetic variation, and more particularly DNA methylation, represents a molecular component of biodiversity that directly links the genome to the environment. As such, it provides the required information on the ecological background of organisms for an integrative field of conservation biology. 3. We synthesize knowledge about the importance of epigenetic mechanisms in (a) orchestrating fundamental development alternatives in organisms, (b) enabling individuals to respond in real-time to selection pressures and (c) improving ecosystem stability and functioning. 4. Using practical examples in conservation biology, we illustrate the relevance of DNA methylation (a) as biomarkers of past and present environmental stress events as well as biomarkers of physiological conditions of individuals; (b) for documenting the ecological structuring/clustering of wild populations and hence for better integrating ecology into ESUs; (c) for improving conservation transloca-tions; and (d) for studying landscape functional connectivity. 5. We conclude that an epigenetic conservation perspective will provide environmental managers the possibility to refine ESUs, to set conservation plans taking into account the capacity of organisms to rapidly cope with environmental changes, and hence to improve the conservation of wild populations. K E Y W O R D S conservation, DNA methylation, ecological timescales, epigenetic, evolutionary significant unit

Inconsistent patterns of body size evolution in co-occurring island reptiles

Aim Animal body sizes are often remarkably variable across islands, but despite much research we still have a poor understanding of both the patterns and the drivers of body size evolution. Theory predicts that interspecific competition and predation pressures are relaxed on small, remote islands, and that these conditions promote body size evolution. We studied body size variation across multiple insular populations of 16 reptile species co‐occurring in the same archipelago and tested which island characteristics primarily drive body size evolution, the nature of the common patterns, and whether co‐occurring species respond in a similar manner to insular conditions. Location Aegean Sea islands. Time period 1984–2016. Major taxa studied Reptiles. Methods We combined fieldwork, museum measurements and a comprehensive literature survey to collect data on nearly 10,000 individuals, representing eight lizard and eight snake species across 273 islands. We also quantified a large array of predictors to assess directly the effects of island area, isolation (both spatial and temporal), predation and interspecific competition on body size evolution. We used linear models and meta‐analyses to determine which predictors are informative for all reptiles, for lizards and snakes separately, and for each species. Results Body size varies with different predictors across the species we studied, and patterns differ within families and between lizards and snakes. Each predictor influenced body size in at least one species, but no general trend was recovered. As a group, lizards are hardly affected by any of the predictors we tested, whereas snake size generally increases with area and with competitor and predator richness, and decreases with isolation. Main conclusions No factor emerges as a predominant driver of Aegean reptile sizes. This contradicts theories of general body size evolutionary trajectories on islands. We conclude that overarching generalizations oversimplify patterns and processes of reptile body size evolution on islands. Instead, species’ autecology and island particularities interact to drive the course of size evolution

A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs

The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages and do not share state. Thereby, they avoid concurrency bugs such as data races, but are not immune to concurrency bugs in general. This study taxonomizes concurrency bugs in actor-based programs reported in literature. Furthermore, it analyzes the bugs to identify the patterns causing them as well as their observable behavior. Based on this taxonomy, we further analyze the literature and find that current approaches to static analysis and testing focus on communication deadlocks and message protocol violations. However, they do not provide solutions to identify livelocks and behavioral deadlocks. The insights obtained in this study can be used to improve debugging support for actor-based programs with new debugging techniques to identify the root cause of complex concurrency bugs.Comment: - Submitted for review - Removed section 6 "Research Roadmap for Debuggers", its content was summarized in the Future Work section - Added references for section 1, section 3, section 4.3 and section 5.1 - Updated citation

A segment-swapping approach for executing trapped computations

We consider the problem of supporting goal-level, independent andparallelism (IAP) in the presence of non-determinism. IAP is exploited when two or more goals which will not interfere at run time are scheduled for simultaneous execution. Backtracking over non-deterministic parallel goals runs into the wellknown trapped goal and garbage slot problems. The proposed solutions for these problems generally require complex low-level machinery which makes systems difficult to maintain and extend, and in some cases can even affect sequential execution performance. In this paper we propose a novel solution to the problem of trapped nondeterministic goals and garbage slots which is based on a single stack reordering operation and offers several advantages over previous proposals. While the implementation of this operation itself is not simple, in return it does not impose constraints on the scheduler. As a result, the scheduler and the rest of the run-time machinery can safely ignore the trapped goal and garbage slot problems and their implementation is greatly simplified. Also, standard sequential execution remains unaffected. In addition to describing the solution we report on an implementation and provide performance results. We also suggest other possible applications of the proposed approach beyond parallel execution

Supporting pruning in tabled LP

This paper analyzes issues which appear when supporting pruning operators in tabled LP. A version of the once/1 control predicate tailored for tabled predicates is presented, and an implementation analyzed and evaluated. Using once/1 with answer-on-demand strategies makes it possible to avoid computing unneeded solutions for problems which can benefit from tabled LP but in which only a single solution is needed, such as model checking and planning. The proposed version of once/1 is also directly applicable to the efficient implementation of other optimizations, such as early completion, cut-fail loops (to, e.g., prune at the top level), if-then-else, and constraint-based branch-and-bound optimization. Although once/1 still presents open issues such as dependencies of tabled solutions on program history, our experimental evaluation confirms that it provides an arbitrarily large efficiency improvement in several application areas

Origin matters: Using a local reference genome improves measures in population genomics.

Genome sequencing enables answering fundamental questions about the genetic basis of adaptation, population structure and epigenetic mechanisms. Yet, we usually need a suitable reference genome for mapping population-level resequencing data. In some model systems, multiple reference genomes are available, giving the challenging task of determining which reference genome best suits the data. Here, we compared the use of two different reference genomes for the three-spined stickleback (Gasterosteus aculeatus), one novel genome derived from a European gynogenetic individual and the published reference genome of a North American individual. Specifically, we investigated the impact of using a local reference versus one generated from a distinct lineage on several common population genomics analyses. Through mapping genome resequencing data of 60 sticklebacks from across Europe and North America, we demonstrate that genetic distance among samples and the reference genomes impacts downstream analyses. Using a local reference genome increased mapping efficiency and genotyping accuracy, effectively retaining more and better data. Despite comparable distributions of the metrics generated across the genome using SNP data (i.e. π, Tajima's D and FST ), window-based statistics using different references resulted in different outlier genes and enriched gene functions. A marker-based analysis of DNA methylation distributions had a comparably high overlap in outlier genes and functions, yet with distinct differences depending on the reference genome. Overall, our results highlight how using a local reference genome decreases reference bias to increase confidence in downstream analyses of the data. Such results have significant implications in all reference-genome-based population genomic analyses

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform

Distributed actor languages are an effective means of constructing scalable reliable systems, and the Erlang programming language has a well-established and influential model. While the Erlang model conceptually provides reliable scalability, it has some inherent scalability limits and these force developers to depart from the model at scale. This article establishes the scalability limits of Erlang systems and reports the work of the EU RELEASE project to improve the scalability and understandability of the Erlang reliable distributed actor model. We systematically study the scalability limits of Erlang and then address the issues at the virtual machine, language, and tool levels. More specifically: (1) We have evolved the Erlang virtual machine so that it can work effectively in large-scale single-host multicore and NUMA architectures. We have made important changes and architectural improvements to the widely used Erlang/OTP release. (2) We have designed and implemented Scalable Distributed (SD) Erlang libraries to address language-level scalability issues and provided and validated a set of semantics for the new language constructs. (3) To make large Erlang systems easier to deploy, monitor, and debug, we have developed and made open source releases of five complementary tools, some specific to SD Erlang. Throughout the article we use two case studies to investigate the capabilities of our new technologies and tools: a distributed hash table based Orbit calculation and Ant Colony Optimisation (ACO). Chaos Monkey experiments show that two versions of ACO survive random process failure and hence that SD Erlang preserves the Erlang reliability model. While we report measurements on a range of NUMA and cluster architectures, the key scalability experiments are conducted on the Athos cluster with 256 hosts (6,144 cores). Even for programs with no global recovery data to maintain, SD Erlang partitions the network to reduce network traffic and hence improves performance of the Orbit and ACO benchmarks above 80 hosts. ACO measurements show that maintaining global recovery data dramatically limits scalability; however, scalability is recovered by partitioning the recovery data. We exceed the established scalability limits of distributed Erlang, and do not reach the limits of SD Erlang for these benchmarks at this scal

The first transcriptome of Italian wall lizard, a new tool to infer about the Island Syndrome

Some insular lizards show a high degree of differentiation from their conspecific mainland populations, like Licosa island lizards, which are described as affected by Reversed Island Syndrome (RIS). In previous works, we demonstrated that some traits of RIS, as melanization, depend on a differential expression of gene encoding melanocortin receptors. To better understand the basis of syndrome, and providing raw data for future investigations, we generate the first de novo transcriptome of the Italian wall lizard. Comparing mainland and island transcriptomes, we link differences in life-traits to differential gene expression. Our results, taking together testis and brain sequences, generated 275,310 and 269,885 transcripts, 18,434 and 21,606 proteins in Gene Ontology annotation, for mainland and island respectively. Variant calling analysis identified about the same number of SNPs in island and mainland population. Instead, through a differential gene expression analysis we found some putative genes involved in syndrome more expressed in insular samples like Major Histocompatibility Complex class I, Immunoglobulins, Melanocortin 4 receptor, Neuropeptide Y and Proliferating Cell Nuclear Antigen